We prove that the Cutting Plane proof system based on Gomory–Chvátal cuts polynomially simulates the lift-and-project system with integer coefficients written in unary. The restriction on the coefficients can be omitted when using Krajíček’s cut-free Gentzen-style extension of both systems. We also prove that Tseitin tautologies have short proofs in this extension.

We describe approximation algorithms for MAX SAT with performance ratios arbitrarily close to 1, in particular, when performance ratios exceed the limits of polynomial-time approximation. Namely, given a polynomial-time α-approximation algorithm , we construct an -approximation algorithm . The algorithm runs in time of the order ck, where k is the number of clauses in the input formula and c is a constant depending on α. Thus we estimate the cost of improving a performance ratio. Similar constructions for MAX 2SAT (...) and MAX 3SAT are also described. Taking known algorithms as , we obtain particular upper bounds on the running time of. (shrink)

Edward H. Levi served the University of Chicago for most of his professional life, as a professor, dean of the law school, provost, and eventually president. Gathered here are fourteen talks he delivered between 1963 and 1969 that include such topics as the role of the university; the purposes of undergraduate and liberal education, professional training, and graduate research; the relations between the university and its surroundings; and the causes of student unrest. Throughout these talks, the reader will find (...) expressions of Levi’s essential belief that “the university must stand for reason and for persuasion by reasoning.”. (shrink)

Many neuroimaging studies of semantic memory have argued that knowledge of an object's perceptual properties are represented in a modality-specific manner. These studies often base their argument on finding activation in the left-hemisphere fusiform gyrus-a region assumed to be involved in perceptual processing-when the participant is verifying verbal statements about objects and properties. In this paper, we report an extension of one of these influential papers-Kan, Barsalou, Solomon, Minor, and Thompson-Schill (2003 )-and present evidence for an amodal component in the (...) representation and processing of perceptual knowledge. Participants were required to verify object-property statements (e.g., "cat-whiskers?"; "bear-wings?") while they were being scanned by functional magnetic resonance imaging (fMRI). We replicated Kan et al.'s activation in the left fusiform gyrus, but also found activation in regions of left inferior frontal gyrus (IFG) and middle-temporal gyrus, areas known to reflect amodal processes or representations. Further, only activations in the left IFG, an amodal area, were correlated with measures of behavioural performance. (shrink)

Edward H. Levi served the University of Chicago for most of his professional life, as a professor, dean of the law school, provost, and eventually president. Gathered here are fourteen talks he delivered between 1963 and 1969 that include such topics as the role of the university; the purposes of undergraduate and liberal education, professional training, and graduate research; the relations between the university and its surroundings; and the causes of student unrest. Throughout these talks, the reader will find (...) expressions of Levi’s essential belief that “the university must stand for reason and for persuasion by reasoning.”. (shrink)

The eureka moment is a myth. It is an altogether naïve and fanciful account of human progress. Innovations emerge from a much less mysterious combination of historical, circumstantial, and accidental influences. This book explores the origin and evolution of several important behavioral innovations including the high five, the Heimlich maneuver, the butterfly stroke, the moonwalk, and the Iowa caucus. Such creations' striking suitability to the situation and the moment appear ingeniously designed with foresight. However, more often than not, they actually (...) arise 'as if by design.' Based on investigations into the histories of a wide range of innovations, Edward A. Wasserman reveals the nature of behavioral creativity. What surfaces is a fascinating web of causation involving three main factors: context, consequence, and coincidence. Focusing on the process rather than the product of innovation elevates behavior to the very center of the creative human endeavor. (shrink)

This is a sketch of the basis and role of consciousness and the minimally required elements and constraints of any setting that may produce consciousness. It proposes that consciousness (as we know it) is a biologically-mediated product of evolved recursive and hierarchically nested representational systems that obey information theoretic principles and Bayesian (probabilistic) feedback and feedforward predictive modeling processes.

This is a conjecture about the conditions and operating structures that are required for the phenomenality of certain mental states. Specifically, full-blown phenomenality is assumed, as contrasted with constrained examples of phenomenal experience such as sensations of color and pain. Propositional attitudes and content, while not phenomenal per se, are standardly concurrent and may condition phenomenal states (e.g., when tied to false beliefs). It is conjectured that full phenomenality natively arises in coherent processes of situated sensory synthesis and representation (with (...) conceptual content) that are looped, mereologically whole and multi-dimensional. And that phenomenal states are typically phase-states within a parameterized conjoint structure of world and experiencer processes that are causally modulated across Markov blankets (which are conditionally independent and may be nested: cf. M. Kirchoff, et. al., 2017, 2018; and T. Burge, 2010, re: anti-individualism). Though they may, it is not accepted that phenomenally conscious states must be targets of higher-order representations (cf. A. Byrne, 2004). (shrink)

Global climate change raises profound questions for social and political theorists. The human impacts of climate change are sufficiently broad, and generally adverse, to threaten the rights and freedoms of existing and future members of all countries. These impacts will also exacerbate inequalities between rich and poor countries despite the limited role of the latter in their origins. Responding to these impacts will require the implementation of environmental and social policies that are both environmentally effective and consistent with the equality (...) and liberty of populations to which they are applied. This article considers whether global emissions trading, namely, the creation of a global market for tradable allowances conferring the right to emit a certain amount of greenhouse gas over a specified time period, is normatively defensible from a liberal egalitarian perspective. After a brief review of the theory and practice of emissions trading, a number of normative objections to the international trade in emissions allowances are analysed. These objections appeal to one, or a combination, of two claims. First, emissions trading schemes are likely to produce undesirable outcomes, such as environmental neglect, in the further future. I call these ‘instrumental objections’. Second, emissions trading schemes violate non‐consequential norms of justice and fairness. I call these ‘intrinsic objections’. It is argued that, when combined, instrumental and intrinsic objections indicate that instituting a global network of emissions trading schemes, as envisioned by a number of parties to the Kyoto Protocol and Copenhagen Accord, would be illegitimate in absence of significant procedural and consequential safeguards. (shrink)

A key concern of global ethics is the equitable distribution of benefits and burdens amongst persons belonging to different populations. Until recently, the philosophical literature on global distribution was dominated by the question of how benefits and burdens should be divided amongst contemporaries. Recent years, however, have seen an increase in research on the scope and content of our duties to future generations. This has led to a number of innovative attempts to extend principles of distribution across time while retaining (...) a focus on the entitlements of the existing poor. In this article, I examine a key aspect of intergenerational justice, namely, the appropriate 'pattern' of well-being that should be obtained across generations. With the aid of research into the impacts of global climate change, I evaluate a number of rival accounts of the pattern of justice and go on to explore the merits of a 'global sufficientarian' ethic, which holds that as many persons as possible should enjoy a satisfactory level of well-being regardless of when or where they live. (shrink)

A theoretical device, which incorporates the functions of clock, rod, nonrotating platform, and accelerometer, and whose operation depends on the properties of light rays and free particles, is defined. The device, which we call a metrosphere, is simple enough that it can be introduced at the starting point of relativity theory and versatile enough that it can serve as an aid in the development and conceptualization of the theory. Relative to an inertial frame, a moving metrosphere undergoes a Lorentz-Fitzgerald contraction (...) and the associated clock exhibits a Lorentz-Larmor rate retardation. From this fact and the assumption that there exists one inertial frame, it is possible to generate the kinematical results of special relativity. A metrosphere provides an observer with a local frame of reference, hence it is well adapted to the needs of general relativity, allows the equivalence principle to be introduced in a straightforward manner, and permits a smooth transition from special relativity to general relativity. (shrink)

The purpose of cognitive models is to make predictive simulations of human behaviour, but this is often done at the aggregate level. Cranford, Gonzalez, Aggarwal, Cooney, Tambe, and Lebiere show that they can automatically customize a model to a particular individual on‐the‐fly, and use it to make specific predictions about their next actions, in the context of a particular cybersecurity game.

In this study, we propose and test a model of the effects of organizational ethical culture and organizational architecture on the perceived unethical behavior of employees towards customers. This study also examines the relationship between organizational ethical culture and moral acceptability judgment, hypothesizing that moral acceptability judgment is an important stage in the ethical decision-making process. Based on a field study in one of the largest financial institutions in Europe, we found that organizational ethical culture was significantly related to the (...) perceived frequency of unethical behavior towards customers and to the moral acceptability judgment of this type of unethical behavior. No support was found for the claim that features of organizational architecture are associated with the perceived frequency of unethical behavior towards customers. This is the first study to document the differential effects of organizational architecture and organizational ethical culture on perceived unethical behavior of employees towards customers, in wholesale banking. Implications for managers and future research are discussed. (shrink)

Dieter Henrich has presented persuasive evidence that Hegel’s logic does not, in practice, provide a linear deduction of logical categories, but rather borrows thought-forms proper to subsequent stages in order to effect its dialectical transitions. In reply, I argue that the presented order of the categories is already implicitly sublated by a deep structure of circularity that determines the development. Thus, Hegel’s dialectic is deliberately nonlinear in terms of both its content and its method. One can therefore acknowledge the astuteness (...) of Henrich’s many insights without regarding them as telling criticisms of the system as Hegel intended it. (shrink)

Agents sometimes innocently benefit from the wrongdoing perpetrated by others. It has been asserted that when this happens the beneficiary acquires a defeasible duty to disgorge these benefits until the beneficiary’s gain is extinguished or the victim’s loss has been reversed. At the same time, critics have denied the existence of duties of disgorgement. In this paper, we contribute to this debate by proposing a novel account of the underlying justification, or rationale, for disgorgement duties grounded in the value of (...) corrective justice. An agent benefiting from injustice has a duty to disgorge, on this account, because fulfilling this duty helps correct injustice by making it as though the transaction that wrongfully enriched them had never happened. We go on to address five objections to this account of disgorgement duties and argue that the corrective justice account can withstand these objections. (shrink)

Aristotele. Science as a systematic explanation through causes.--Newton, I. Rules and reflections on scientific reasoning.--Carnap, R. Empiricism, semantics, and ontology.--Hempel, C. On the logic of explanation.--Nagel, E. The realist view of theories.--Quine, W. V. On the role of logic in explanation.--Harris, E. E. Method and explanation in metaphysics.--Einstein, A. Remarks on Bertrand Russell's theory of knowledge.--Sellars, W. The language of theories.--MacKinnon, E. Atomic physics and reality.--Bunge, M. Physics and reality.--Heelan, P. A. Quantum mechanics and objectivity.--Bibliographical essay (p. 285-301).